package ast;

public class ExistsPredicate extends QualityPredicate {

	public String toString()
	{
		return "exists";
	}
}
